and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
181	ECSYM Part B2 EVENTS, CAUSALITY AND SYMMETRY Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-02-08 06:54:38 Applied mathematics Logic in computer science Programming language semantics Concurrency Denotational semantics Petri net Power domains Actor model Operational semantics Theoretical computer science Computer science Models of computation
182	Fast State Discovery for HMM Model Selection and Learning Sajid M. Siddiqi Robotics Institute Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-02-13 15:31:33 Machine learning Dynamic programming Bioinformatics Hidden Markov model Viterbi algorithm Expectation–maximization algorithm Speech recognition Symposium on Theoretical Aspects of Computer Science Forward–backward algorithm Statistics Markov models Error detection and correction
183	ALBERT R. MEYER Curriculum Vitae Hitachi America Professor of Engineering Dept. of Electrical Engineering and Computer Science Massachusetts Institute of Technology April 30, 2004 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2004-04-30 14:00:21 Models of computation Logic in computer science Denotational semantics ACM SIGACT Theory of computation Symposium on Theory of Computing Information and Computation Logic programming Turing Award Computer science Theoretical computer science Applied mathematics
184	The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets Charles Lakos1 and John Lamp2 Computer Science, University of Adelaide, Adelaide, SA, 5005, Australia. 2 Add to Reading List Source URL: lamp.infosys.deakin.edu.au Language: English - Date: 1999-03-07 17:35:30 Models of computation Concurrency Diagrams Petri net Object-oriented programming Z39.50 Abstract Syntax Notation One Objective-C Protocol data unit Computing Software engineering Computer programming
185	Version 2, October[removed]CCS-F6X3 Instruction sets and times for the Ferranti Poseidon, Hermes, Apollo and Argus computers. Add to Reading List Source URL: www.ourcomputerheritage.org Language: English - Date: 2012-01-22 14:41:43 Central processing unit Subroutine Models of computation Computer programming Computing Accumulator
186	A temporally abstracted Viterbi algorithm Shaunak Chatterjee Computer Science Division University of California, Berkeley Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2011-06-18 04:21:29 Applied mathematics Theoretical computer science Dynamic programming Viterbi algorithm Convolutional code Algorithm A* search algorithm Hidden Markov model Heuristic function Error detection and correction Markov models Mathematics
187	Selecting Computations: Theory and Applications Nicholas Hay and Stuart Russell Computer Science Division University of California Berkeley, CA 94720 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-10-04 09:08:48 Decision theory Markov models Mathematical optimization Dynamic programming Reinforcement learning Markov decision process Markov chain Value of information Variance Statistics Probability and statistics Markov processes
188	Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna1 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-05-16 06:05:46 Type theory Object-oriented programming Data types Models of computation Formal methods Subtype polymorphism Lambda calculus Type system Polymorphism Theoretical computer science Software engineering Mathematics
189	State Machine Specification Directly in Java and C++ Alexander Sakharov Add to Reading List Source URL: sakharov.net Language: English - Date: 2008-05-18 20:05:49 Computer programming Automata theory Digital electronics Finite-state machine UML diagrams Counter Java C Sharp State diagram Computing Software engineering Models of computation
190	A Bridging Model for Multi-Core Computing Leslie G. Valianta,∗,1 a School of Engineering and Applied Sciences Harvard University Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2010-04-27 14:13:54 Digital signal processing Models of computation Computer architecture Computer memory Parallel Random Access Machine Multi-core processor CPU cache Actor model Parallel algorithm Computing Parallel computing Computer programming

UPDATE